Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Libro |
The Icon programming language: | Griswold, Raph E. |
2nd ed.
(1990) |
Domicilio
|
---------- |
Libro |
The Java class libraries: | Chan, Patrick |
2nd ed., 3rd print.
(1998) |
Domicilio
|
---------- |
Libro |
The Java module system | Parlog, Nicolai |
(2019) |
Domicilio
|
---------- |
Libro |
The formal semantics of programming languages: an introduction | Winskel, Glynn |
1st ed.
(c1993) |
Domicilio
|
---------- |
Artículo |
The intensional lambda calculus : | Artemov, Sergei |
(2007) |
---------- | |
Artículo |
The logic of proofs as a foundation for certifying mobile computation : | Bonelli, Eduardo |
(2009) |
---------- | |
Libro |
The road to React | Wieruch, Robin |
1st ed.
(2022) |
Domicilio
|
---------- |
Libro |
The study of programming languages | Stansifer, Ryan |
(c1995) |
Domicilio
Sala |
---------- |
Libro |
Tras los pasos de un hacker | Marroquín, Néstor |
1a ed.
(2010) |
Domicilio
|
---------- |
Libro |
Turbo Pascal : orientado a objetos | Haiduk, H. Paul |
1a ed.
(c1994) |
Domicilio
|
---------- |